Environmental Bisimulations for Delimited-Control Operators
Identifieur interne : 001589 ( Main/Exploration ); précédent : 001588; suivant : 001590Environmental Bisimulations for Delimited-Control Operators
Auteurs : Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We present a theory of environmental bisimilarity for the delimited-control operators shift and reset. We consider two different notions of contextual equivalence: one that does not require the presence of a top-level control delimiter when executing tested terms, and another one, fully compatible with the original CPS semantics of shift and reset, that does. For each of them, we develop sound and complete environmental bisimilarities, and we discuss up-to techniques.
Url:
DOI: 10.1007/978-3-319-03542-0_24
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001280
- to stream Istex, to step Curation: 001263
- to stream Istex, to step Checkpoint: 000215
- to stream Main, to step Merge: 001601
- to stream Main, to step Curation: 001589
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Environmental Bisimulations for Delimited-Control Operators</title><author><name sortKey="Biernacki, Dariusz" sort="Biernacki, Dariusz" uniqKey="Biernacki D" first="Dariusz" last="Biernacki">Dariusz Biernacki</name></author><author><name sortKey="Lenglet, Serguei" sort="Lenglet, Serguei" uniqKey="Lenglet S" first="Sergueï" last="Lenglet">Sergueï Lenglet</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:50215D1ECE76E4FC56D189F5931260EE67BB6CE4</idno><date when="2013" year="2013">2013</date><idno type="doi">10.1007/978-3-319-03542-0_24</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-1LRPDC0L-1/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">001280</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001280</idno><idno type="wicri:Area/Istex/Curation">001263</idno><idno type="wicri:Area/Istex/Checkpoint">000215</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000215</idno><idno type="wicri:doubleKey">0302-9743:2013:Biernacki D:environmental:bisimulations:for</idno><idno type="wicri:Area/Main/Merge">001601</idno><idno type="wicri:Area/Main/Curation">001589</idno><idno type="wicri:Area/Main/Exploration">001589</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Environmental Bisimulations for Delimited-Control Operators</title><author><name sortKey="Biernacki, Dariusz" sort="Biernacki, Dariusz" uniqKey="Biernacki D" first="Dariusz" last="Biernacki">Dariusz Biernacki</name><affiliation wicri:level="1"><country xml:lang="fr">Pologne</country><wicri:regionArea>Institute of Computer Science, University of Wrocław</wicri:regionArea><wicri:noRegion>University of Wrocław</wicri:noRegion></affiliation></author><author><name sortKey="Lenglet, Serguei" sort="Lenglet, Serguei" uniqKey="Lenglet S" first="Sergueï" last="Lenglet">Sergueï Lenglet</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université de Lorraine</wicri:regionArea><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We present a theory of environmental bisimilarity for the delimited-control operators shift and reset. We consider two different notions of contextual equivalence: one that does not require the presence of a top-level control delimiter when executing tested terms, and another one, fully compatible with the original CPS semantics of shift and reset, that does. For each of them, we develop sound and complete environmental bisimilarities, and we discuss up-to techniques.</div></front></TEI><affiliations><list><country><li>France</li><li>Pologne</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Metz</li><li>Nancy</li></settlement><orgName><li>Université de Lorraine</li></orgName></list><tree><country name="Pologne"><noRegion><name sortKey="Biernacki, Dariusz" sort="Biernacki, Dariusz" uniqKey="Biernacki D" first="Dariusz" last="Biernacki">Dariusz Biernacki</name></noRegion></country><country name="France"><region name="Grand Est"><name sortKey="Lenglet, Serguei" sort="Lenglet, Serguei" uniqKey="Lenglet S" first="Sergueï" last="Lenglet">Sergueï Lenglet</name></region></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001589 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001589 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:50215D1ECE76E4FC56D189F5931260EE67BB6CE4
|texte= Environmental Bisimulations for Delimited-Control Operators
}}
| This area was generated with Dilib version V0.6.33. |  |